Non Symmetric Dirichlet Forms on Semifinite von Neumann Algebras

The theory of non symmetric Dirichlet forms is generalized to the non abelian setting, also establishing the natural correspondences among Dirichlet forms, sub-Markovian semigroups and sub-Markovian resolvents within this context. Examples of non symmetric Dirichlet forms given by derivations on Hilbert algebras are studied.Comment: 32 pages, plain TeX, Preprint Roma TOR VERGATA Nr.9-93-May 9

Random Time Forward Starting Options

We introduce a natural generalization of the forward-starting options, first discussed by M. Rubinstein. The main feature of the contract presented here is that the strike-determination time is not fixed ex-ante, but allowed to be random, usually related to the occurrence of some event, either of financial nature or not. We will call these options {\bf Random Time Forward Starting (RTFS)}. We show that, under an appropriate "martingale preserving" hypothesis, we can exhibit arbitrage free prices, which can be explicitly computed in many classical market models, at least under independence between the random time and the assets' prices. Practical implementations of the pricing methodologies are also provided. Finally a credit value adjustment formula for these OTC options is computed for the unilateral counterparty credit risk.Comment: 19 pages, 1 figur

Visual analytics of flight trajectories for uncovering decision making strategies

In air traffic management and control, movement data describing actual and planned flights are used for planning, monitoring and post-operation analysis purposes with the goal of increased efficient utilization of air space capacities (in terms of delay reduction or flight efficiency), without compromising the safety of passengers and cargo, nor timeliness of flights. From flight data, it is possible to extract valuable information concerning preferences and decision making of airlines (e.g. route choice) and air traffic managers and controllers (e.g. flight rerouting or optimizing flight times), features whose understanding is intended as a key driver for bringing operational performance benefits. In this paper, we propose a suite of visual analytics techniques for supporting assessment of flight data quality and data analysis workflows centred on revealing decision making preferences

Analysis of Flight Variability: a Systematic Approach

In movement data analysis, there exists a problem of comparing multiple trajectories of moving objects to common or distinct reference trajectories. We introduce a general conceptual framework for comparative analysis of trajectories and an analytical procedure, which consists of (1) finding corresponding points in pairs of trajectories, (2) computation of pairwise difference measures, and (3) interactive visual analysis of the distributions of the differences with respect to space, time, set of moving objects, trajectory structures, and spatio-temporal context. We propose a combination of visualisation, interaction, and data transformation techniques supporting the analysis and demonstrate the use of our approach for solving a challenging problem from the aviation domain

Drug resistance and viral tropism in HIV-1 subtype C-infected patients in KwaZulu-Natal, South Africa: implications for future treatment options

Article approval pendingDrug resistance poses a significant challenge for the successful application of highly active antiretroviral therapy (HAART) globally. Furthermore, emergence of HIV-1 isolates that preferentially use CXCR4 as a coreceptor for cell entry, either as a consequence of natural viral evolution or HAART use, may compromise the efficacy of CCR5 antagonists as alternative antiviral therapy

Women for science and science for women: Gaps, challenges and opportunities towards optimizing pre-exposure prophylaxis for HIV-1 prevention

Preventing new HIV infections remains a global challenge. Young women continue to bear a disproportionate burden of infection. Oral pre-exposure prophylaxis (PrEP), offers a novel women-initiated prevention technology and PrEP trials completed to date underscore the importance of their inclusion early in trials evaluating new HIV PrEP technologies. Data from completed topical and systemic PrEP trials highlight the role of gender specific physiological and social factors that impact PrEP uptake, adherence and efficacy. Here we review the past and current developments of HIV-1 prevention options for women with special focus on PrEP considering the diverse factors that can impact PrEP efficacy. Furthermore, we highlight the importance of inclusion of female scientists, clinicians, and community advocates in scientific efforts to further improve HIV prevention strategies

Big data analytics for time critical maritime and aerial mobility forecasting

The correlated exploitation of heterogeneous data sources offering very large archival and streaming data is important to increase the accuracy of computations when analysing and predicting future states of moving entities. Aiming to significantly advance the capacities of systems to improve safety and effectiveness of critical operations involving a large number of moving entities in large geographical areas, this paper describes progress achieved towards time critical big data analytics solutions to user-defined challenges in the air-traffic management and maritime domains. Besides, this paper presents further research challenges concerning data integration and management, predictive analytics for trajectory and events forecasting, and visual analytics

Profound structural conservation of chemically cross-linked HIV-1 envelope glycoprotein experimental vaccine antigens.

Chemical cross-linking is used to stabilize protein structures with additional benefits of pathogen and toxin inactivation for vaccine use, but its use has been restricted by the potential for local or global structural distortion. This is of particular importance when the protein in question requires a high degree of structural conservation for inducing a biological outcome such as the elicitation of antibodies to conformationally sensitive epitopes. The HIV-1 envelope glycoprotein (Env) trimer is metastable and shifts between different conformational states, complicating its use as a vaccine antigen. Here we have used the hetero-bifunctional zero-length reagent 1-Ethyl-3-(3-Dimethylaminopropyl)-Carbodiimide (EDC) to cross-link two soluble Env trimers, selected well-folded trimer species using antibody affinity, and transferred this process to good manufacturing practice (GMP) for experimental medicine use. Cross-linking enhanced trimer stability to biophysical and enzyme attack. Cryo-EM analysis revealed that cross-linking retained the overall structure with root-mean-square deviations (RMSDs) between unmodified and cross-linked Env trimers of 0.4-0.5 Å. Despite this negligible distortion of global trimer structure, we identified individual inter-subunit, intra-subunit, and intra-protomer cross-links. Antigenicity and immunogenicity of the trimers were selectively modified by cross-linking, with cross-linked ConS retaining bnAb binding more consistently than ConM. Thus, the EDC cross-linking process improves trimer stability whilst maintaining protein folding, and is readily transferred to GMP, consistent with the more general use of this approach in protein-based vaccine design